- тип рекурсивной эквивалентности
- recursive equivalence type
Русско-английский научно-технический словарь Масловского. 2015.
тип рекурсивной эквивалентности
Look at other dictionaries:
РЕКУРСИВНОЙ ЭКВИВАЛЕНТНОСТИ ТИП — класс эквивалентности для отношения рекурсивной эквивалентности, т. е. совокупность всех подмножеств натурального ряда, каждые два из к рых могут быть приведены во взаимно однозначное соответствие с помощью частично рекурсивной функции. Таким… … Математическая энциклопедия
ИЗОЛЬ — рекурсивной эквивалентности тип изолированного (т. е. конечного или иммунного) множества натуральных чисел. Множество всех И. континуально и является полукольцом относительно операций сложения и умножения, определяемых для произвольных типов… … Математическая энциклопедия
